SAT Requires Exhaustive Search
link.springer.com·17h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Relative Completeness of Incorrectness Separation Logic
arxiv.org·10h
🧠Separation Logic
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
[$] Python performance myths and fairy tales
lwn.net·46m
⚡Performance Mythology
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·1d·
Discuss: Hacker News
🔢Bitwise Algorithms
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·21h·
Discuss: blog.computationalcomplexity.org, Hacker News
🧠Computational Logic
News for July 2025
ptreview.sublinear.info·3d
🕸️Graph Algorithms
Beyond Manually Designed Pruning Policies with Second-Level Performance Prediction: A Pruning Framework for LLMs
arxiv.org·10h
💻Local LLMs
Software Internals Book Club
eatonphil.com·8h
⚙️Operating System Design
SIEVE — a better algorithm than LRU?
blog.apnic.net·9h
💨Cache Analysis
A New Concurrent ML in Guile Scheme
wingolog.org·5h·
Discuss: Hacker News
🔄Lens Laws
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·1h·
Discuss: Hacker News
📼Tape Combinators
Why mathematicians want to destroy infinity – and may succeed
newscientist.com·22h
⏰Time Crystals
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Machine learning by satisfiability solving
johndcook.com·4d
🧮SMT Solvers
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Machine Learning Fundamentals: machine learning with python
dev.to·20h·
Discuss: DEV
🧠Machine Learning
Alignment Monitoring
arxiv.org·1d
⚙️Assembly Verification